A Formal Framework for “Living” Cooperative Information Systems
نویسندگان
چکیده
This paper constructs a high-level Abstract State Machine (ASM) model of our conceptual software architecture for “living” cooperative information systems founded in living systems theory. For practical execution, we use AsmL, the Abstract state machine Language developed at Microsoft Research and integrated with Visual Studio, to refine the ASM model to an executable system model for evaluation.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملCoordination of Information Sharing and Cooperative Advertising in a Decentralized Supply Chain with Competing Retailers Considering Free Riding Behavior
This paper studies a decentralized supply chain in which a manufacturer sells a common generic product through two traditional and online retailers under free riding market. We assume that the traditional retailer provides the value added services but the online retailer does not. Factors such as retail prices, local advertising of the retailers, global advertising of the manufacturer and servi...
متن کاملReaction Systems: a Formal Framework for Processes Based on Biochemical Interactions
This paper presents a formal framework for investigating processes driven by interactions between biochemical reactions in living cells. These interactions are based on the mechanisms of facilitation and inhibition, which underlie the definition of reaction systems – the central construct of our framework. We discuss in this paper the basic setup for reaction systems, and its motivation. We als...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل